正确吗：x^y <=> (x|y)&(~x|~y)

来源：百度知道 编辑：UC知道 时间：2024/06/13 23:12:23
能给出详细的证明吗，加分！

是正确的
---------------------------------
你可以参考<<离散数学>>教材
A ⊕ B=（A- B）∪（B - A）
A－B ＝ A ∩～B
=>A ⊕ B=（A ∩～B ）∪（B ∩～A）
=>A ⊕ B=（A ∪（B ∩～A）) ∩ ( ～B ∪（B ∩～A）)
=>A ⊕ B=（A ∪B ) ∩ ( ～B ∪～A )
即x^y <=> (x|y)&(~x|~y)